Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
81	Secrecy in Untrusted Networks? Michele Bugliesi 1 , Silvia Crafa 1 , Amela Prelic 2 , and Vladimiro Sassone 3 Abstract. We investigate the protection of migrating agents against the untrusted sites they traverse. The res Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:55:51 Process calculi Entailment Mobile Membranes Logic Deduction Ambient calculus
82	Boxed Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 2 D´epartement d’Informatique Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:01 Applied mathematics Computer science Mathematics Π-calculus Lambda calculus Calculus XTR Mobile Membranes Process calculi Theoretical computer science Ambient calculus
83	Mobility and Security in Worldwide Computing Robin D. Toll Rensselaer Polytechnic Institute 110 8th Street Troy, NY, U.S.A. Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:32:40 Constructible universe Actor model Process calculi Symbol Π-calculus
84	Space-Aware Ambients and Processes ? Franco Barbanera Universit` a di Catania, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-08 08:30:15 Valuation Mathematics Mobile Membranes Π-calculus Process calculi Ambient calculus Calculus
85	Bachelor Thesis: „Security Aspects of Digital Actors“ By: Ayse Morali Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Actor model Concurrent computing Security Ambient calculus Computer security Middleware Process calculi Computing Electronic commerce
86	Reasoning about Security in Mobile Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 1 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:39 Applied mathematics Computer science Models of computation Mathematics Π-calculus Lambda calculus Model theory Mobile Membranes Process calculi Theoretical computer science Ambient calculus
87	Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 M2 Communicating sequential processes Money Money supply M1 Process calculus Calculus of communicating systems Μ operator Process calculi Economics Macroeconomics
88	Behavioural Typing for Safe Ambients∗ Michele Bugliesi Giuseppe Castagna Dipartimento di Informatica Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:32:09 Software engineering Type system Valuation Mathematics Type safety Ambient intelligence Computing Mobile Membranes Process calculi Type theory Ambient calculus
89	Specification of Web Services Sudhir Agarwal and Anupriya Ankolekar Institute of Applied Informatics and Formal Description Methods (AIFB), University of Karlsruhe (TH), Germany Transparency of business processes is cri Add to Reading List Source URL: www2006.org Language: English - Date: 2006-09-05 12:42:56 Process calculi Π-calculus Calculus Control theory Function Mathematics Theoretical computer science Applied mathematics
90	hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-02-26 07:24:06 Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi

UPDATE